#ifndef JIT_TIMER_H
#define JIT_TIMER_H

extern int timer_interval;

int jit_timer_init(void);
void jit_timer_exit(void);

#endif /* JIT_TIMER_H */